$\forall$$r$:CRng, $a$:$\mid$$r$$\mid$, $n$:$\mathbb{N}$.
\\[0ex]((1 +$r$ ({-}$r$($a$))) $\ast$ ($\Sigma$($r$) 0 $\leq$ $i$ $<$ $n$. $a$ $\uparrow$$r$ $i$)) = (1 +$r$ ({-}$r$($a$ $\uparrow$$r$ $n$))) $\in$ $\mid$$r$$\mid$